Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Повнотекстовий пошук
 Знайдено в інших БД:Книжкові видання та компакт-диски (43)Журнали та продовжувані видання (1)Реферативна база даних (40)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Сергиенко В$<.>)
Загальна кількість знайдених документів : 43
Представлено документи з 1 до 20
...
1.

Сергиенко В. Н. 
Оценивание комплексного тестирования максимальной силы студенток 17-20 лет [Електронний ресурс] / В. Н. Сергиенко // Физическое воспитание студентов. - 2013. - № 4. - С. 77-81. - Режим доступу: http://nbuv.gov.ua/UJRN/PhVSTS_2013_4_17
Попередній перегляд:   Завантажити - 483.879 Kb    Зміст випуску     Цитування
2.

Сергиенко В. В. 
Новое направление инноваций в Украине [Електронний ресурс] / В. В. Сергиенко // Актуальні проблеми права: теорія і практика. - 2013. - № 26. - С. 489-496. - Режим доступу: http://nbuv.gov.ua/UJRN/app_2013_26_67
Попередній перегляд:   Завантажити - 110.581 Kb    Зміст випуску     Цитування
3.

Конорев Б. М. 
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов [Електронний ресурс] / Б. М. Конорев, С. О. Засуха, Ю. С. Манжос, Л. П. Семенов, В. В. Сергиенко, В. С. Харченко, Г. Н. Чертков // Радіоелектронні і комп’ютерні системи. - 2006. - № 7. - С. 162–170. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2006_7_34
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов программного обеспечения ИУС для композиции диверсных технологий верификации на основе экспериментальной калибровки чувствительности и реальной степени разнообразия диверсных методов верификации.
Попередній перегляд:   Завантажити - 322.856 Kb    Зміст випуску    Реферативна БД     Цитування
4.

Конорев Б. М. 
Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения [Електронний ресурс] / Б. М. Конорев, Ю. Г. Алексеев, В. В. Сергиенко, В. С. Харченко, Г. Н. Чертков // Радіоелектронні і комп’ютерні системи. - 2007. - № 6. - С. 162–170. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2007_6_32
Предложена целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения (ПО): в процессе независимой верификации и квалификации ПО ИУС критического применения.
Попередній перегляд:   Завантажити - 428.958 Kb    Зміст випуску    Реферативна БД     Цитування
5.

Сергиенко В. В. 
Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов [Електронний ресурс] / В. В. Сергиенко, Б. М. Конорев, Л. Новы, Г. Н. Чертков // Радіоелектронні і комп’ютерні системи. - 2008. - № 5. - С. 161–167. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2008_5_31
Информативность испытаний и подтверждение приемлемых уровней вероятности скрытых дефектов при независимой верификации критического программного обеспечения обеспечивается с помощью адекватного профиля дефектов и калибровок методов, используемых при испытаниях. Рассмотрена разработка модели профиля дефектов для калибровки методов измерения инвариантов при статическом анализе.
Попередній перегляд:   Завантажити - 496.507 Kb    Зміст випуску    Реферативна БД     Цитування
6.

Конорев Б. М. 
Доказательная независимая верификация и оценка скрытых дефектов критического программного обеспечения на основе диверсифицированного измерения инвариантов [Електронний ресурс] / Б. М. Конорев, В. В. Сергиенко, Г. Н. Чертков, Ю. Г. Алексеев // Радіоелектронні і комп’ютерні системи. - 2009. - № 7. - С. 192–199. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2009_7_36
Описано дальнейшее развитие работ в рамках общего направления разработки целевой технологии независимой верификации и прогнозирования скрытых дефектов программного обеспечения (ПО), важного для безопасности. Особое внимание уделено чрезвычайно важному вопросу калибровки чувствительности методов тестирования ПО и полноты охвата исходного кода проверками. Предложена концепция по нахождению адекватного профиля дефектов для конкретного проекта ПО при процедуре калибровки. Обоснован уровень структуры ПО, на котором производится внесение тестовых дефектов для калибровки. Предложен принцип калибровки, модели и элементы практической теории, обеспечивающие практическое решение поставленных задач.
Попередній перегляд:   Завантажити - 382.295 Kb    Зміст випуску    Реферативна БД     Цитування
7.

Конорев Б. М. 
Модель инварианто-ориентированной оценки характеристик качества программного обеспечения [Електронний ресурс] / Б. М. Конорев, В. В. Сергиенко, Ю. Г. Алексеев, Г. Н. Чертков // Радіоелектронні і комп’ютерні системи. - 2010. - № 7. - С. 117–120. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_7_24
Рассмотрено использование формальных методов контроля неизменных свойств (инвариантов) программного обеспечения (ПО) для оценки характеристик качества ПО. Рассмотрено влияние дефектов на значения инвариантов на уровне исходных кодов ПО. По результатам измерения инвариантов определяется наличие остаточных дефектов в программе. Приведена динамическая модель чувствительности набора методов к дефектам с учетом операционного спектра конкретного проекта. Предложенный подход позволяет формализовать проверки и автоматизировать процесс оценки основополагающих характеристик качества ПО таких, как функциональная надежность и безопасность.
Попередній перегляд:   Завантажити - 315.762 Kb    Зміст випуску    Реферативна БД     Цитування
8.

Сергиенко В. Н. 
Комплексная оценка развития силовых способностей студентов высших учебных заведений [Електронний ресурс] / В. Н. Сергиенко // Физическое воспитание студентов. - 2013. - № 5. - С. 83-87. - Режим доступу: http://nbuv.gov.ua/UJRN/PhVSTS_2013_5_17
Попередній перегляд:   Завантажити - 512.418 Kb    Зміст випуску     Цитування
9.

Сергиенко В. Н. 
Морфологические показатели студенток 17–20 лет высших учебных заведений [Електронний ресурс] / В. Н. Сергиенко // Физическое воспитание студентов. - 2013. - № 6. - С. 73-77. - Режим доступу: http://nbuv.gov.ua/UJRN/PhVSTS_2013_6_16
Попередній перегляд:   Завантажити - 435.215 Kb    Зміст випуску     Цитування
10.

Сергиенко В. Н. 
К оценке долговременной устойчивости потолочинвыработок гипсовых шахт в зонах геологических нарушений [Електронний ресурс] / В. Н. Сергиенко, В. А. Амелин, Б. В. Васильев, Т. Г. Войтович, Л. В. Амелина // Геотехнічна механіка. - 2013. - Вип. 110. - С. 139-148. - Режим доступу: http://nbuv.gov.ua/UJRN/gtm_2013_110_16
Попередній перегляд:   Завантажити - 477.293 Kb    Зміст випуску     Цитування
11.

Конорев Б. М. 
Прогнозирование вероятности скрытых дефектов критического по с заданной точностью [Електронний ресурс] / Б. М. Конорев, В. В. Сергиенко, В. С. Харченко, Г. М. Жолткевич // Радіоелектронні і комп’ютерні системи. - 2014. - № 5. - С. 50-54. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2014_5_11
Для количественной оценки надежности и функциональной безопасности критических систем одной из ключевых характеристик является прогноз вероятности скрытых дефектов. Приведен метод прогнозирования вероятности скрытых дефектов критического программного обеспечения (ПО) с заданной (управляемой) точностью результатов. Для рамочной оценки скрытых дефектов предложена модель остаточных и скрытых дефектов. Приведена процедура экспериментальной калибровки чувствительности к дефектам и степени разнообразия методов контроля бездефектности исходных кодов ПО.
Попередній перегляд:   Завантажити - 955.751 Kb    Зміст випуску    Реферативна БД     Цитування
12.

Скипочка С. И. 
Особенности деформационных процессов в горных породах гипсовых месторождений [Електронний ресурс] / С. И. Скипочка, Т. А. Паламарчук, В. Н. Сергиенко, В. А. Амелин, Т. Г. Войтович // Геотехнічна механіка. - 2013. - Вип. 112. - С. 23-34. - Режим доступу: http://nbuv.gov.ua/UJRN/gtm_2013_112_4
Попередній перегляд:   Завантажити - 655.428 Kb    Зміст випуску     Цитування
13.

Сергиенко В. В. 
К проблеме формирования экологического сознания украинского общества [Електронний ресурс] / В. В. Сергиенко // Екологічна безпека. - 2014. - Вип. 2. - С. 31-34. - Режим доступу: http://nbuv.gov.ua/UJRN/ekbez_2014_2_7
Рассмотрены основные тенденции формирования экологического сознания в Украине которое непосредственно влияет на экологическую безопасность общества. Анализируя идеологию ведущих партий автор делает вывод о том, что идеологическая составляющая экологического сознания в Украине фактически не сформирована и не стала одним из существенных направлений деятельности партий и государства. Для массового сознания характерно также поверхностное понимание экологических проблем, хотя анализ таких настроений последних лет свидетельствует о возрастании обеспокоенности населения экологическими проблемами. Все это обуславливает острую необходимость кардинального изменения мировоззрения общества требует новых подходов к экологическому образованию и воспитанию.
Попередній перегляд:   Завантажити - 180.873 Kb    Зміст випуску    Реферативна БД     Цитування
14.

Маликов А. В. 
Исторические и морфофункциональные аспекты изучения эпифиза [Електронний ресурс] / А. В. Маликов, А. И. Ковальчук, Д. В. Бондарец, И. В. Дзевульская, В. Р. Сергиенко // Український науково-медичний молодіжний журнал. - 2014. - № 3. - С. 16-19. - Режим доступу: http://nbuv.gov.ua/UJRN/Unmmj_2014_3_5
Попередній перегляд:   Завантажити - 381.585 Kb    Зміст випуску     Цитування
15.

Сергиенко В. В. 
Актуальные вопросы правового регулирования отношений снабжения потребителей тепловой энергией [Електронний ресурс] / В. В. Сергиенко // Право і Безпека. - 2010. - № 5. - С. 259-263. - Режим доступу: http://nbuv.gov.ua/UJRN/Pib_2010_5_62
Попередній перегляд:   Завантажити - 167.469 Kb    Зміст випуску     Цитування
16.

Сергиенко В. В. 
Специфика формирования лояльности клиентов украинских банков [Електронний ресурс] / В. В. Сергиенко // Вісник Луганського державного університету внутрішніх справ імені Е. О. Дідоренка. - 2011. - Вип. 4. - С. 205-214. - Режим доступу: http://nbuv.gov.ua/UJRN/Vlduvs_2011_4_27
Попередній перегляд:   Завантажити - 212.592 Kb    Зміст випуску     Цитування
17.

Сергиенко В. В. 
Договор присоединения – основной элемент регулирования поставки тепловой энергии [Електронний ресурс] / В. В. Сергиенко // Право і Безпека. - 2004. - Т. 3, № 2. - С. 167-170. - Режим доступу: http://nbuv.gov.ua/UJRN/Pib_2004_3_2_44
Попередній перегляд:   Завантажити - 223.591 Kb    Зміст випуску     Цитування
18.

Сергиенко В. В. 
Договорные отношения и порядок их формирования в сфере теплоснабжения [Електронний ресурс] / В. В. Сергиенко // Право і Безпека. - 2005. - Т. 4, № 2. - С. 155-159. - Режим доступу: http://nbuv.gov.ua/UJRN/Pib_2005_4_2_48
Розглянуто проблему формування договірних відносин у процесі забезпечення тепловою енергією.Рассмотрена проблема формирования договорных отношений при обеспечении тепловой энергией.The problem of formation of contractual relations is considered at maintenance with thermal energy as hot water and pair.
Попередній перегляд:   Завантажити - 1.92 Mb    Зміст випуску    Реферативна БД     Цитування
19.

Негатуров А. В. 
Исследования мотивации родителей к занятию спортом детей дошкольного и младшего школьного возраста на примере каратэ [Електронний ресурс] / А. В. Негатуров, Т. В. Петровская, В. П. Сергиенко // Науковий часопис [Національного педагогічного університету імені М. П. Драгоманова]. Серія 15 : Науково-педагогічні проблеми фізичної культури (фізична культура і спорт). - 2016. - Вип. 5. - С. 88-92. - Режим доступу: http://nbuv.gov.ua/UJRN/Nchnpu_015_2016_5_26
Попередній перегляд:   Завантажити - 462.705 Kb    Зміст випуску     Цитування
20.

Сергиенко В. А. 
Завод "Донмет" одно из ведущих предприятий в Европе по производству сварочного оборудования [Електронний ресурс] / В. А. Сергиенко, Д. Е. Рубан, А. Л. Красненко // Вісник Донбаської державної машинобудівної академії. - 2016. - № 2. - С. 247-250. - Режим доступу: http://nbuv.gov.ua/UJRN/vddma_2016_2_50
Попередній перегляд:   Завантажити - 772.666 Kb    Зміст випуску     Цитування
...
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського